ASM Activities at the Local Level
نویسندگان
چکیده
منابع مشابه
Winning the COVID-19 War: McKinsey & Company's Proposed Plan for Action at the Local Level
McKinsey & Company, a global management consulting firm, has published a document for local authorities to introduce and explain strategies and actions to combat COVID-19. This document, by evaluating the current situation and considering some degree of contagion for at least 12-18 months, presents three strategies for local authorities to deal effectively with the virus and safeguard the life ...
متن کاملLocal Meta-models for ASM-MOMA
Evolutionary algorithms generally require a large number of objective function evaluations which can be costly in practice. These evaluations can be replaced by evaluations of a cheaper meta-model of the objective functions. In this paper we describe a multiobjective memetic algorithm utilizing local distance based meta-models. This algorithm is evaluated and compared to standard multiobjective...
متن کامل[Action-oriented information systems: subsidies for activities by workers' health programs at the local level].
Over the course of recent decades, Brazil has become an industrialized society. From an epidemiological perspective and considering changes that have been occurring in the Brazilian population, particularly concerning demographic and epidemiological transitions, this paper discusses the need to adapt the epidemiological surveillance system in order to incorporate the surveillance of non-transmi...
متن کاملLife expectancy at birth at the local level in Ontario.
ognized indicator of population health. Estimates have been reported for centuries, during which the methods of life table derivation have been refined and incorporated as one of a demographer’s most useful tools. Increasingly, health planners and epidemiologists are asked to produce local level health status reports. However, life expectancy has frequently disappeared from such reports (in Ont...
متن کاملModel Checking Support for the ASM High-Level Language
Gurevich's Abstract State Machines (ASM) constitute a high-level speciication language for a wide range of applications. The existing tool support for ASM|currently including type-checking, simulation and debugging|should be extended to support computer-aided veriication, in particular by model checking. In this paper we introduce an interface from our existing tool environment to the model che...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Microbe Magazine
سال: 2009
ISSN: 1558-7452,1558-7460
DOI: 10.1128/microbe.4.198.2